|
|
Reliability of technical systems
Pařil, Radek ; Pavlík, Josef (referee) ; Hammer, Miloš (advisor)
Abstract: The diploma thesis is focused on the analysis of reliability and diagnostics of the electric rotary machines originated in industrial energetic practice. There are diagnostic methods in the diploma thesis having been used in practice and analysis of measurement results of the functional measurement on the real electric machines.
|
|
|
Maintainable type classes for Haskell
Farka, František ; Pudlák, Petr (advisor) ; Křen, Tomáš (referee)
In this thesis we address a long-term maintainability problem in Haskell type class system. In particular we study a possibility of backward-compatible changes in existing class hierarchies. In the first part of the thesis we give a brief overview of the language. The following part summarizes current proposed solutions to the problem and analyzes their properties. Based on this analysis we derive our own language extension proposal. In the penultimate chapter we present several possible applications of the language extension and compare the extension to other solutions. As a part of the thesis we also give a proof-of-concept implementation of the extension for the GHC compiler, which is briefly described in the last part of this thesis. Powered by TCPDF (www.tcpdf.org)
|
|
|
Maintainable type classes for Haskell
Farka, František ; Pudlák, Petr (advisor) ; Křen, Tomáš (referee)
In this thesis we address a long-term maintainability problem in Haskell type class system. In particular we study a possibility of backward-compatible changes in existing class hierarchies. In the first part of the thesis we give a brief overview of the language. The following part summarizes current proposed solutions to the problem and analyzes their properties. Based on this analysis we derive our own language extension proposal. In the penultimate chapter we present several possible applications of the language extension and compare the extension to other solutions. As a part of the thesis we also give a proof-of-concept implementation of the extension for the GHC compiler, which is briefly described in the last part of this thesis. Powered by TCPDF (www.tcpdf.org)
|
|
|
Reliability of technical systems
Pařil, Radek ; Pavlík, Josef (referee) ; Hammer, Miloš (advisor)
Abstract: The diploma thesis is focused on the analysis of reliability and diagnostics of the electric rotary machines originated in industrial energetic practice. There are diagnostic methods in the diploma thesis having been used in practice and analysis of measurement results of the functional measurement on the real electric machines.
|
|
|
Evaluating Quality of Service Design
Hejl, Daniel ; Feuerlicht, Jiří (advisor) ; Pavlíčková, Jarmila (referee)
Service Oriented Architecture is a popular choice of system architecture and many organization are moving towards it in order to closely align IT capabilities with their business goals. They are expecting that the implementation of SOA will lead to increased efficiency, the ability to rapidly respond to changing business environments, and significantly improved return on investment. In order to meet these expectations, great emphasis must be given on correct service design. However, designing services in the way that they are highly reusable and the final product is highly maintainable can be especially challenging. This bachelor thesis focuses on summarization of how metrics for measuring structural properties of service oriented software designs can be used for predicting potential problems in service design. In the practical part of this thesis, a tool for evaluating a service design based on coupling between service interfaces was implemented and practical applicability of one of the metric was demonstrated.
|
guest ::
